Reducing radon state by state.
نویسندگان
چکیده
منابع مشابه
State filters in state residuated lattices
In this paper, we introduce the notions of prime state filters, obstinate state filters, and primary state filters in state residuated lattices and study some properties of them. Several characterizations of these state filters are given and the prime state filter theorem is proved. In addition, we investigate the relations between them.
متن کاملReducing Interleavings by Combining State and Trace Interpolation
We address the problem of reasoning about interleavings in safety verification of concurrent processes. We start with a systematic search tree depicting the program states across all possible interleavings. While this setting is totally general, a naive implementation based on explicit enumeration is clearly impractical. We then consider an algorithm schema which can prune the search space. The...
متن کاملManagement of Radon Data in the State of Ohio, U.S.A
The objective of this research paper is to create a public awareness in understanding the radon gas problem, discuss efficient data management methods and analyses of indoor radon gas concentrations, and mitigate the indoor radon gas concentrations to below acceptable level in the state of Ohio. The Ohio Radon Information System (ORIS) is a compendium of five databases or modules, viz. the “Hom...
متن کاملReducing State Changes with a Pipeline Buffer
A limiting factor in the performance of a rendering system is the number of state changes, i.e., changes of the attributes material, texture, shader program, etc., in the stream of rendered primitives. We propose to include a small buffer between application and graphics hardware in the rendering system. This pipeline buffer is used to rearrange the incoming sequence of primitives on-line and l...
متن کاملMobReduce: Reducing State Complexity of Mobility Traces
User traces are essential for analysis of human behavior and development of opportunistic networking protocols and applications. As user traces are collected with high granularity to apply them in diverse scenarios, they have a high complexity resulting from the large number of user states. We present MobReduce: a methodology for reducing the number of states in user traces. We apply MobReduce ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Environmental Health Perspectives
سال: 2000
ISSN: 0091-6765,1552-9924
DOI: 10.1289/ehp.108-a166b